SysML model-driven approach to verify blocks compatibility
نویسندگان
چکیده
منابع مشابه
A Model-Driven Approach to Adapt SysML Blocks
Reusing and adapting existing components is the central topic of component-based development. The major differences between the existing approaches concern the models used to represent the components and the detail given to generate the adapters. In this paper, we present our approach which bases on the hierarchy to generate the adapters. Our components are modelled using SysML blocks and their...
متن کاملA Process Algebraic Approach to Decomposition of Communicating SysML Blocks
The block concept is a fundamental modelling construct in the Systems Modeling Language (SysML), a visual modelling language for systems engineering applications. In a top-down systems engineering approach, an abstract block is decomposed into concrete communicating sub-blocks. However, the classifier behaviour of the abstract block must be exhibited by the composition of the concrete sub-block...
متن کاملModel-Driven Engineering Approach For SysML Activity Diagram Simulation
This study aims to automate the simulation of activity diagram (AD) in accordance with the OMG SysML specifications. We use the concept of model-driven engineering to transform AD into VHDL-AMS. This transformation is depicted in two transformations based on specifications given by the Object Management Group (OMG): Activity Diagram (AD) to Petri net (PN) and PN to VHDL-AMS. We have established...
متن کاملModel-Driven User Requirements Specification using SysML
Requirements engineering is an important phase in a system’s life cycle. When poorly performed, various problems may occur, such as failures, cost overrun and delays. The increasing complexity of systems makes requirements engineering activities both more important and more difficult. Model-driven engineering, in which models are the main artifact during system development, is an emergent appro...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: International Journal of Computer Aided Engineering and Technology
سال: 2019
ISSN: 1757-2657,1757-2665
DOI: 10.1504/ijcaet.2019.098134